منابع مشابه
The Computational Content of Classical Arithmetic to Appear in a Festschrift for Grigori Mints
Almost from the inception of Hilbert’s program, foundational and structural efforts in proof theory have been directed towards the goal of clarifying the computational content of modern mathematical methods. This essay surveys various methods of extracting computational information from proofs in classical first-order arithmetic, and reflects on some of the relationships between them. Variants ...
متن کاملGrigori Mints Thoralf Skolem and the Epsilon Substitution Method for Predicate Logic *
Skolem’s contributions to mathematical logic are fundamental and far-reaching. A good survey by Hao Wang (1970) is presented in Fenstad’s collection of Skolem’s works (1970). Even Skolemization, i.e. the replacement of quantifiers by new constant and function symbols, is too extensive for one talk. Cf. my survey (Mints 1990) of proof-theoretic aspects and more recent work (Shankar 1992) concern...
متن کاملIn Memoriam: E S Fedorov
Among the scientists who in various ways paved the way for Laue’s discovery and for Bragg’s determination of crystal structures, there is one who occupies the most important place: E. S. Fedorov (18531919), the eminent Russian crystallographer. His most outstanding achievement is the derivation of the 230 symmetry space groups which now serve as the mathematical basis of structural analysis. Al...
متن کاملMemoriam.
George W. Housner, Carl F Braun Professor of Engineering, emeritus, died after a short illness on 10 November 2008, just a few weeks before his 98th birthday. He was in the retirement home in Pasadena where he had lived for several years. For all of us who knew George, this marked the end of an era. Few people have guided and nurtured a field the way George led earthquake engineering over a per...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2015
ISSN: 1079-8986,1943-5894
DOI: 10.1017/bsl.2015.1